1. Automation of Reasoning :
Author: edited by Jörg H. Siekmann, Graham Wrightson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
Classification :
QA76
.
9
.
A96
E358
1983
2. Computational logic
Author: edited by Dov M. Gabbay, Jörg H. Siekmann, John Woods.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic.
3. GWAI-81 :
Author: edited by Jörg H. Siekmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.
Classification :
Q334
.
E358
1981
4. 8th International Conference on Automated Deduction :
Author: edited by Jörg H. Siekmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving -- Congresses.,Automatic theorem proving.,Logic, Symbolic and mathematical -- Congresses.
5. 8th International Conference on Automated Deduction : Oxford, England, July 27 - August 1, 1986: Proceedings
Author: edited by Jorg H. Siekmann
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
230
6. 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings
Author: edited by Jorg H. Siekmann
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L4
v
.
230
